COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\eject
C00003 ENDMK
C⊗;
\eject
Program P1:

\yskip
$${\halign l0:	⊗y2 ←1;\cr
l1:	⊗if y1 > 0 then\cr
⊗{\hskip 1in}begin {\halign l2:	(y1,y2) ← (y1-1,y1\cdot y2);\cr
l3: go to l1;\cr}
⊗{\hskip 1in}end;\cr}
le: Halt$$